Compositions of ( max , + ) automata Sébastien Lahaye
نویسندگان
چکیده
Abstract This paper presents a compositional modeling approach by means of (max,+) automata. The motivation is to be able to model a complex discrete event system by composing sub-models representing its elementary parts. A direct modeling of safe timed Petri nets using (max,+) automata is first introduced. Based on this result, two types of synchronous product of (max,+) automata are proposed to model safe timed Petri nets obtained by merging places and/or transitions in subnets. An asynchronous product is finally proposed to represent particular bounded timed Petri nets.
منابع مشابه
Compositions of (max, +) automata
Abstract: Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert and Mairesse (1999): at least timed safe Petri nets can be modeled by means of (max,+) automata. In this contribution, we define compositions for (max,+) automata. The motivation is to be able to model a complex system by compo...
متن کاملNew representations for (max, +) automata with applications to the performance evaluation of discrete event systems
Titre New representations for (max,+)-automata with applications to the performance evaluation of discrete event systems Type de publication Communication Type Communication avec actes dans un congrès Année 2012 Langue Anglais Date du colloque 2012 Titre du colloque WODES 2012 Titre des actes ou de la revue Proceedings of the 11th edition of Workshop On Discrete Event System Auteur Boukra, Raba...
متن کاملPerformance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata
Abstract: In this contribution, we study the performances of discrete event systems modeled by (max,+) automata. More precisely, new representations for (max,+) automata are first proposed. From these, several performance indicators can be derived, in particular the maximum time execution and a minorant of the minimum execution time for a sequence of length n. Finally these results are discusse...
متن کاملNew representations for (max, +) automata with applications to performance evaluation and control of discrete event systems
Titre New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems Type de publication Article de revue Auteur Boukra, Rabah [1], Lahaye, Sébastien [2], Boimond, Jean-Louis [3] Editeur Springer Verlag Type Article scientifique dans une revue à comité de lecture Année 2015 Langue Anglais Date June 2015 Pagination 295-322 Volume 25 Tit...
متن کاملSynchronous composition of interval weighted automata
Interval weighted automata are introduced as automata with weights in a product dioid (idempotent semiring). They constitute an extension of (max,+) automata since they enable us to model temporal constraints (instead of exact durations) for transitions. Their synchronous composition, which coincides with the synchronous product of underlying (one clock) timed automata, results in multi-event i...
متن کامل